×

propositional calculus中文什么意思

发音:   用"propositional calculus"造句
  • 句子逻辑
  • 命题逻辑
  • 命题演算
  • calculus:    n. (pl. calculuses, -li ) 1. ...
  • implicational propositional calculus:    蕴涵命题演算
  • minimal propositional calculus:    极小命题演算
  • propositional:    建议的; 提议的; 主张的
  • calculus:    n. (pl. calculuses, -li ) 1.【医学】结石，石；积石；牙垢。 2.【数学】运算，演算；微积分(学)。 calculus of finite differences 【数学】差分演算(法)，差分学。 calculus of variation 变分法[学]。 differential [integral] calculus微[积]分(学)。 urinary calculus【医学】尿结石。
下载手机词典可随时随地查词查翻译

例句与用法

    更多例句：  下一页
  1. 2 . numerais system of propositional calculus nend netwrk deals with data , but it is a formula set in proposihonal calculus
    命题逻辑系统的数字化神经网络的处理对象是数据，而命题逻辑系统的处理对象是命题公式集。
  2. In automated theorem pidving , auomated reasoning methods of propositional calculus provide with edtersal naoning method for other iogic sywt
    在自动推理理论与应用的研究中，命题逻辑系统中的方法和内容具有广泛的适用性。
  3. The medium logic propositional calculus system mpm and the medium logic predicate calculus system mfm are new logic systems . they are fit for dealing with incomplete information
    中介逻辑命题演算系统mp ~ m和中介逻辑谓词演算系统mf ~ m是一种适用于处理不完全信息的新的逻辑系统。
  4. The conclusion points out tha evaltalon propositional calculus is sbole extension of hsitional calculus . mnle , the authr deeply studies to get ch medl sets , and gets some conclusion
    同时，在已有关于horn近似的快速推理研究的基础上，对如何尽快寻找模型集中的极小模型进行更深入的研究，得出若干结论。
  5. In this paper , a new type algebra is introduced , it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus . the main purpose of this paper is to investigate the various properties of the new algebra . in addition , this paper constructs an axiom set based on the medium logic propositional calculus system mpm , and gives a proof of its completeness
    本文通过对mpm中介逻辑命题演算系统进行代数抽象,建立了一个新的代数系统,讨论了该代数系统的性质,并利用该代数系统的代数性质构造了中介命题演算系统mpm上的一个公理完备集合,使用该公理集合可以方便的推导出mpm上的等值和互推公式,这对于处理不完全信息数据库的查询优化有着重要作用。

英文释义

名词
  1. a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
    同义词：propositional logic

百科释义

    In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules and axioms allows certain formulas to be derived, called theorems; which may be interpreted as true propositions.
    详细百科解释

相关词汇

其他语言

相邻词汇

  1. proposition matrix 什么意思
  2. proposition of law 什么意思
  3. propositional 什么意思
  4. propositional act 什么意思
  5. propositional algebra 什么意思
  6. propositional code theory 什么意思
  7. propositional coding theory 什么意思
  8. propositional connective 什么意思
  9. propositional constant 什么意思
  10. propositional content 什么意思
桌面版繁體版English

相关阅读

Copyright © 2025 WordTech Co.

Last modified time:Tue, 19 Aug 2025 00:29:56 GMT